141. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
142. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده : Marisa Venturini Zilli )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
143. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
پدیدآورنده : Pierre Cointe )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1616
144. Metalevel architectures and separation of crosscutting concerns : third international conference, Reflection 2001, Kyoto, Japan, September 25-28, 2001 : proceedings
پدیدآورنده : Akinori Yonezawa, Satoshi Matsuoka )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
2192
145. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C.H.A. Koster
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
146. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C. H. A. Koster
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
147. Modular programming languages : Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 : proceedings
پدیدآورنده : Laszlo Boszormenyi, Peter Schojer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2789
148. Modular programming languages : Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 2000: proceedings
پدیدآورنده : Jurg Gutknecht, Wolfgang Weck )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1897
149. Modular programming languages : joint Modular Languages Conference, JMLC'97, Linz, Austria, March 19-21, 1997 : proceedings
پدیدآورنده : Hanspeter Mossenbock )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Modular programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1204
150. Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988: Proceedings
پدیدآورنده : A. Blaser, ed
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax -- Congresses ، Programming languages )Electronic computers(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
320
151. Natural language at the computer: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
N38
.
S38
1988
152. PARLE, parallel architectures and languages Europe :
پدیدآورنده : edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Parallel processing (Electronic computers), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
5
.
C61926
1987
153. PARLE, parallel architectures and languages Europe : Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
پدیدآورنده : edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
258
,
259
154. PARLE, parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings
پدیدآورنده : edited by J.W. de Bakker, A.J. Nijman, and P.C. Treleaven
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
258-259
155. Parallel computing technologies :
پدیدآورنده : Victor Malyshkin (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
156. Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
پدیدآورنده : T. Ito, R.H. Halstead, Jr. )eds.(; foreword by J. McCarthy
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، LISP )Computer program language(,Congresses ، Parallel programming )Computer science(,، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
441
157. Perspectives on computer science; from the 10th Anniversary Symposium at the Computer Science Department, Carnegie-Mellon University
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic Computers(-- Congresses
رده :
QA
75
.
5
.
P47
158. Practical aspects of declarative languages :
پدیدآورنده : Pascal Van Hentenryck (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
7
.
P32
2006
159. Practical aspects of declarative languages
پدیدآورنده : Andy Gill, Terrance Swift (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming languages, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
615
.
P33
2009eb
160. Practical aspects of declarative languages : First International Workshop, PADL'99, San Antonio, Texas, USA, January 1999 : proceedings
پدیدآورنده : Gopal Gupta )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
1551